/*@ true */
int  main()
{
  int  i;
  int  j;
  int  k;


  i=1;
  j=1;
  k=0;
  while ((k) < (100))    /*@ true */
  {
    if ((j) < (20))
    {
      k=i;
      k=(k) + (1);
    }
    else
    {
      j=k;
      k=(k) + (2);
    }
  }
  return (j);
}
/*@ true */


